sender($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$source(lnk(kind($e$))), mu($\lambda$$t$.match(lnk(kind($e$));$t$;time($e$)))$>$